201. Recent trends in algebraic development techniques : 13th International Workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998: selected papers
المؤلف: Jose Luiz Fiadeiro )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1589
202. Recent trends in algebraic development techniques : 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers
المؤلف: Francesco Parisi Presicce, )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1376
203. Recent trends in algebraic development techniques : 15th international Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
المؤلف: Maura Cerioli, Gianna Reggio )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Abstract data types )Computer science(,Congresses ، Computer science -- Mathematics,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2267
204. Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
المؤلف: Martin Wirsing, Dirk Pattinson, Rolf Hennicker )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
2755
205. Recent trends in algebraic development techniques: 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001: selected papers
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Computer software-- Development,Congresses ، Computer science-- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
76
.
D47
.
W33
2001
206. Recent trends in computer applications :
المؤلف: editors, Jihad Mohamad Alja'am, Abdulmotaleb El Saddik and Abdul Hamid Sadk.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Application software, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Application software.,Artificial intelligence.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Data mining.,Information retrieval.,Information technology.,Information technology: general issues.,Teaching skills & techniques.
رده :
QA75
.
5
207. Regulated agent-based social systems : first international workshop, RASTA 2002, Bologna, Italy, July 16, 2002 : revised selected and invited papers
المؤلف: Gabriela Lindemann, Daniel Moldt, Mario Paolucci )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Social systems,Congresses ، Computer science,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2934
208. Research in Attacks, Intrusions, and Defenses
المؤلف: \ edited by Herbert Bos, Fabian Monrose, Gregory Blanc.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Intrusion detection systems (Computer security) -- Congresses. ,Computer science. ,Software engineering. ,علوم کامپیوتر,مهندسی ن‍رم اف‍زار
رده :
QA76
.
76
.
R41
2015
E-Book
,
209. Runtime Verification
المؤلف: \ Ezio Bartocci, Rupak Majumdar (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,Computer software -- Testing -- Congresses,نرمافزار -- راستی‌آزمایی -- کنگره ها,روش‌های صوری (کامپیوتر) -- کنگره ها,آزمون‌های کامپیوتری -- نرمافزار -- کنگره ها
رده :
QA
76
.
76
.
V47
R82
2015
E-Book
,
210. Runtime verification
المؤلف: Sarfraz Khurshid, Koushik Sen (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2011eb
211. Runtime verification :
المؤلف: Christian Colombo, Martin Leucker (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
212. Runtime verification :
المؤلف: Axel Legay, Saddek Bensalem (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2013
213. SOFSEM 2013
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses,Computer science,Software engineering,علوم کامپیوتر -- کنگره‌ها,علوم کامپیوتر,مهندسی ن‍رم اف‍زار
رده :
E-Book
,
214. SOFSEM 2012
المؤلف: \ [Edited by] Mária Bieliková...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses.,Computer software -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,نرمافزار -- کنگره‌ها
رده :
E-Book
,
215. SOFSEM 2015
المؤلف: \ [edited by] Giuseppe F. Italiano...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
S62
2015
E-Book
,
216. SOFSEM 2016
المؤلف: \ Rūsiņš Mārtiņš Freivalds , Gregor Engels, Barbara Catania (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a05,a05,Computer science -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
S62
2016
E-Book
,
217. SOFSEM 2019 :
المؤلف: Barbara Catania, Rastislav Královič, Jerzy Nawrocki, Giovanni Pighizzini (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Software engineering, Congresses.,Computer science.,Software engineering.
رده :
QA75
.
5
218. Second International IEEE Workshop on Software Evolvability :
المؤلف: IEEE Computer Society.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development, Congresses.,Software maintenance, Congresses.,Computer Science.,Computer software-- Development.,Engineering & Applied Sciences.,Software maintenance.
رده :
QA76
.
76
.
D47
I322
2006
219. Software Composition
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Development -- Congresses,Software engineering -- Congresses,Computer science,نرمافزار -- تولید -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها,علوم کامپیوتر
رده :
E-Book
,
220. Software Engineering and Formal Methods
المؤلف: \ [edited by] Carlos Canal, Akram Idani.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
